INQUISITIVE BISIMULATION

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inquisitive bisimulation

Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in th...

متن کامل

Bisimulation in Inquisitive Modal Logic

Inquisitive modal logic, INQML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, INQML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in ...

متن کامل

Inquisitive Semantics and Logic

Acknowledgments I am truly grateful to my two advisers, Jeroen Groenendijk and Dick de Jongh, without whom (needless to say, though I'll say it anyway) this thesis wouldn't have existed. I was fortunate enough to meet Jeroen early on in my days at the ILLC and to have established such a fruitful collaboration; Jeroen is an inspiring teacher and an inspired researcher, and the inquisitive progra...

متن کامل

Inquisitive assertions and nonveridicality

In this brief note, I discuss how basic is, in natural language, the distinction between an assertion and a question. The question is currently debated within inquisitive semantics [14]; [1];[2]) and in addressing it, I look at sentences with modal verbs, questions, and disjunctions. These seem to form a natural class in terms of conveying epistemic states that allow p and ¬p, they are therefor...

متن کامل

A generalized inquisitive semantics.∗

In Inquisitive Semantics, formulas are evaluated on ordered pairs of indices; actually, the order of the pair is irrelevant, so these pairs could just just as well be taken to be non-empty sets of indices of cardinality at most two. This last restriction, however, sounds particularly unnatural, especially considering that the definition of inquisitive semantics can be easily reformulated in suc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Journal of Symbolic Logic

سال: 2020

ISSN: 0022-4812,1943-5886

DOI: 10.1017/jsl.2020.77